//
//  block.h
//  LTLBMC
//
//  Created by GD Huang on 5/17/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef LTLBMC_block_h
#define LTLBMC_block_h

#include <vector>
#include "attribute.h"
#include "stmt.h"


namespace cilast {
    
    class block : public OCamlObject {
    public:    
        std::vector<attribute*> battrs;
        std::vector<stmt*> bstmts;
        
    };
}
#endif
